msg($l$;$t$;$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$l$$,\,$$t$$,\,$$v$$\rangle$